List of known bugs and unimplemented features

When you repeatedly inherit from a class that contains a routine that assigns to an attribute, and specify for the routine and attribute to be replicated twice, the routine fails to follow the replicated feature. That is, you have two routines assigning to the one attribute, instead of having two routines assigning to different attributes. This contravenes the discussion in ETL pp 174-177. The following code illustrates the issue (it fails at run-time).

class BOARD
feature
   set_max_board_members (b: INTEGER) is
      do
         max := b;
      end
   max: INTEGER
end

class BOARD2
inherit
   BOARD
      rename
         set_max_board_members as set_min_board_members,
         max as min
      end
   BOARD
      select set_max_board_members
   end
end

class BOARD_ORGANISER
creation make
feature
   make is
      do
         !!board2;
         board2.set_max_board_members (3)
         board2.set_min_board_members (1)
         check
            board2.max = 3
         end
      end;
   board2: BOARD2;
end

Some features of class BIT are not yet implemented when using long BIT sequences (i.e. more than 32 bits). All unimplemented features are reported at compile-time (please do not report these, except where you cannot work around them).
Command line arguments cannot be given as argument of the root procedure (not yet implemented). For the time being, you can use features argument_count and argument of class GENERAL.
Incomplete ELKS'95 compatibility... but we are still waiting the ELKS'2000 before working on this problem.
Features deep_clone and deep_equal of class GENERAL are not yet implemented for compile_to_jvm.
compile_to_jvm doesn't allow you to make applets.
dispose is not implemeented yet for expanded objects.